Analysis of the Equality Relations for the Program Terms
نویسنده
چکیده
In this article an abstract interpretation and formal language based analysis for imperative programs is presented. This analysis makes a lower approximation of the equality relations for the program terms, i.e. for a given program point our analysis produces a set of equalities t1 = t2 where t1 and t2 represent program expressions such that their values are equal for any behavior of the program if this program point is reached. The results of the analysis can be used for debugging, veriica-tion, optimization and specialization of programs. An abstract semantics of Pascal{like language is described and some examples of the analysis are given.
منابع مشابه
The Relation between Organizational Values and Organizational Ethics
The present paper has attended to two prevalent concepts in todaychr('39')s management literature–organizational values and organizational ethics; two concepts that are used interchangeably. The aim of this study is clarifying the real for and against positions regarding these two concepts. The study is an exploratory one and in terms of purpose, it is an applied study. In terms of equivalent, ...
متن کاملگفتاری درباره مسائل اجتماعی استراتژی ملی
The discussion develops under four subtitles: society and sotial problems, strategy and its dimensions, our society and its main social problems, and social probems of our National Strategy. In part one, two distinct trends in sociological analysis of society are identified, those which emphasize structure and function and those which emphasize system and system properties. Earlier generatio...
متن کاملThe Effectiveness of Prevention and Relationship Enhancement Program on the Quality of Life and Marital Commitment in Married Women
Background and purpose: There are several ways to enhance marriage. Prevention and Relationship Enhancement Program (PREP) are among the methods of educating relationships. Relationship education programs have made a significant contribution to the growth and development of millions of couples. This study aimed to investigate the effectiveness of the Prevention and Relationship Enhancement Pro...
متن کاملSemantic Analyzer of Modula-Programs
Semantic analysis is a powerful tool in building eeective and reliable programming systems. Many results have been achieved in this area, but semantic analysis of actual real-world imperative programs remains a diicult problem. This is due in large measure to the need to deal with issues such as pointers and data structures, recursion, and scope; the presence of such factors is likely to decrea...
متن کاملعدالت جنسیتی با بیعدالتی در نظام آموزشی استان ایلام
Introduction: Educational equality is newly considered in social, political and economic system of the nations. Many conventions, treaties & statements in the world emphasizing these rights have been determined and issued. This issue has been considered in politic, economic and social development plans of Iran. Explaining this issue in undeveloped areas such as Ilam province can provide i...
متن کامل